- 双语例句 更多例句
1、
由于一阶逻辑能够描述软件构件的计算语义，因此用一阶逻辑表示构件及用基于归结原理的自动定理证明技术检索构件的研究在软件工程领域得到了足够的重视。
互联网摘选
2、
从计算语义学角度看俄语形容词的语义分类问题
互联网摘选
- 相关词组
- computational scheme计算线路，计算方案;
- body semantics体态语义学；手势语义学;
- dynamic semantics[计]动态语义学;
- query semantics[计]查询语义学;
- verb semantics动词语义学;
- computational linguistics计算语言学;
- tree semantics[计]树状语义学;
- final semantics[计]最终语义学;
- general semantics普通语义;
- world semantics[计] 世界语义学;
- computational model[计] 计算模型;
- computational method[计] 计算方法;
- formal semantics形式语义学[程序];
- trace semantics[计]轨迹语义学;
- Computational Geometry计算几何;
- logic semantics[计]逻辑语义学;
- data semantics[计]数据语义学;
- computational table计算表;
- fault semantics[计]故障语义学;
- computational error计算误差;
- 今日热词
- 热门搜索
- kill me heal me 杀了我治愈我
- cap n.帽子;国家队队员资格;帽，盖;v.覆盖;胜过;选入国家队;限定（预算）;箍牙;
- transport n.交通工具;交通运输系统;运输;运输工具;激情;v.运输;传播;使身处他境;流放;
- ball n.球（状物）;舞会;v.做成球状;
- wallet n.钱包，皮夹;
- on the rocks 触礁的;（婚姻）濒于破裂的;身无分文的;（企业等）濒临失败;岌岌可危;（酒等饮料）加冰的;加冰块的;
- take away v.拿走;带走，抓走（送去监狱、医院等）;夺走;从……中减去，从……中扣除adj.供应外带的；可带走的;
- alphanumeric adj.文字数字的，包括文字与数字的;
- Burberry n.博柏利;巴宝利雨衣; 巴宝莉；博柏利；巴宝丽
- loudspeaker n.扩音器，扬声器;喇叭;扬场器;
- quilt n.被子，棉被;被状物;v.缝（被）;用垫料填塞后缝拢;东拼西凑地做;用摘抄等方法编辑;
- reliable adj. 可靠的;可信赖的;真实可信的;n. 可靠的人;
